単語帖ラムゼー理論，2次元木，cdrコーディング，2相コミット - 共立出版コンピュータサイエンス誌『bit』